PittsburghV1, France, Analysis, bibRecord, 000198

Comparator: A Tool for Quantifying Behavioural Compatibility

Identifieur interne : 000198 ( France/Analysis ); précédent : 000197; suivant : 000199

Comparator: A Tool for Quantifying Behavioural Compatibility

Auteurs : Meriem Ouederni [France] ; Gwen Salaün [France] ; Javier Cámara [États-Unis] ; Ernesto Pimentel [Espagne]

Source :

RBID : Hal:hal-00934057

Abstract

We present Comparator, a tool that measures the compatibility between two behavioural interfaces. Comparator can be used as a stand-alone Web application, and is also integrated into a model-based adaptation toolbox.

Url:

https://hal.inria.fr/hal-00934057

Affiliations:

Links toward previous steps (curation, corpus...)

to stream Hal, to step Corpus: 000139
to stream Hal, to step Curation: 000139
to stream Hal, to step Checkpoint: 000224
to stream Main, to step Merge: 000713
to stream Main, to step Curation: 000713
to stream Main, to step Exploration: 000713
to stream France, to step Extraction: 000198

Links to Exploration step

Hal:hal-00934057

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Comparator: A Tool for Quantifying Behavioural Compatibility</title>
<author><name sortKey="Ouederni, Meriem" sort="Ouederni, Meriem" uniqKey="Ouederni M" first="Meriem" last="Ouederni">Meriem Ouederni</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-34499" status="VALID">          <orgName>Institut de recherche en informatique de Toulouse</orgName>
          <orgName type="acronym">IRIT</orgName>
          <desc>            <address>              <addrLine>118 Route de Narbonne, F-31062 Toulouse Cedex 9</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.irit.fr/</ref>
          </desc>
          <listRelation>            <relation active="#struct-5030" type="direct"></relation>
            <relation active="#struct-81148" type="direct"></relation>
            <relation active="#struct-116256" type="direct"></relation>
            <relation active="#struct-217752" type="direct"></relation>
            <relation name="UMR5505" active="#struct-441569" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-5030" type="direct"><org type="institution" xml:id="struct-5030" status="VALID">          <orgName>Institut National Polytechnique [Toulouse]</orgName>
          <orgName type="acronym">INP</orgName>
          <desc>            <address>              <addrLine>6 allée Émile Monso - BP 34038 - 31029 Toulouse cedex 4</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.inp-toulouse.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-81148" type="direct"><org type="institution" xml:id="struct-81148" status="VALID">          <idno type="IdRef">026404354</idno>
          <orgName>Université Toulouse 1 Capitole</orgName>
          <orgName type="acronym">UT1</orgName>
          <date type="start">1970</date>
          <desc>            <address>              <addrLine>2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9 </addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.ut-capitole.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-116256" type="direct"><org type="institution" xml:id="struct-116256" status="VALID">          <idno type="IdRef">026403994</idno>
          <orgName>Université Toulouse 2</orgName>
          <orgName type="acronym">UT2</orgName>
          <date type="start">1971-01-01</date>
          <desc>            <address>              <addrLine>5 allées Antonio Machado - 31058 Toulouse Cedex 9 </addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-tlse2.fr</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-217752" type="direct"><org type="institution" xml:id="struct-217752" status="VALID">          <orgName>Université Paul Sabatier - Toulouse 3</orgName>
          <orgName type="acronym">UPS</orgName>
          <desc>            <address>              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle name="UMR5505" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID">          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.cnrs.fr/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Salaun, Gwen" sort="Salaun, Gwen" uniqKey="Salaun G" first="Gwen" last="Salaün">Gwen Salaün</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-178330" status="VALID">          <idno type="RNSR">201221019Z</idno>
          <orgName>Construction of verified concurrent systems</orgName>
          <orgName type="acronym">CONVECS</orgName>
          <desc>            <address>              <addrLine>Centre de recherche Inria655 avenue de l'Europe38330 Montbonnot Saint-Martin</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.inria.fr/equipes/convecs</ref>
          </desc>
          <listRelation>            <relation active="#struct-2497" type="direct"></relation>
            <relation active="#struct-300009" type="indirect"></relation>
            <relation active="#struct-24471" type="direct"></relation>
            <relation active="#struct-3886" type="indirect"></relation>
            <relation active="#struct-51016" type="indirect"></relation>
            <relation active="#struct-300275" type="indirect"></relation>
            <relation name="UMR5217" active="#struct-441569" type="indirect"></relation>
            <relation active="#struct-445543" type="indirect"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-2497" type="direct"><org type="laboratory" xml:id="struct-2497" status="VALID">          <idno type="RNSR">199218244V</idno>
          <orgName>Inria Grenoble - Rhône-Alpes</orgName>
          <desc>            <address>              <addrLine>Inovallée655 avenue de l'Europe38330 Montbonnot</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.inria.fr/centre/grenoble</ref>
          </desc>
          <listRelation>            <relation active="#struct-300009" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-24471" type="direct"><org type="laboratory" xml:id="struct-24471" status="VALID">          <idno type="IdRef">083958738</idno>
          <idno type="RNSR">200711886U</idno>
          <orgName>Laboratoire d'Informatique de Grenoble</orgName>
          <orgName type="acronym">LIG</orgName>
          <date type="start">2007-01-01</date>
          <desc>            <address>              <addrLine>UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France Tél. : 04 57 42 14 00</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.liglab.fr/</ref>
          </desc>
          <listRelation>            <relation active="#struct-3886" type="direct"></relation>
            <relation active="#struct-51016" type="direct"></relation>
            <relation active="#struct-300275" type="direct"></relation>
            <relation name="UMR5217" active="#struct-441569" type="direct"></relation>
            <relation active="#struct-445543" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-3886" type="indirect"><org type="institution" xml:id="struct-3886" status="OLD">          <idno type="IdRef">02640432X</idno>
          <orgName>Université Pierre Mendès France - Grenoble 2</orgName>
          <orgName type="acronym">UPMF</orgName>
          <date type="end">2015-12-31</date>
          <desc>            <address>              <addrLine>BP 47 - 38040 Grenoble Cedex 9</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.upmf-grenoble.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-51016" type="indirect"><org type="institution" xml:id="struct-51016" status="OLD">          <idno type="IdRef">026404796</idno>
          <orgName>Université Joseph Fourier - Grenoble 1</orgName>
          <orgName type="acronym">UJF</orgName>
          <date type="end">2015-12-31</date>
          <desc>            <address>              <addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.ujf-grenoble.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-300275" type="indirect"><org type="institution" xml:id="struct-300275" status="OLD">          <idno type="IdRef">026388804</idno>
          <orgName>Institut National Polytechnique de Grenoble </orgName>
          <orgName type="acronym">INPG</orgName>
          <date type="end">2006-12-31</date>
          <desc>            <address>              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"></country>
            </address>
          </desc>
        </org>
</tutelle>
<tutelle name="UMR5217" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID">          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.cnrs.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-445543" type="indirect"><org type="institution" xml:id="struct-445543" status="VALID"><idno type="IdRef">188399275</idno>
<orgName>Université Grenoble Alpes</orgName>
<orgName type="acronym">UGA</orgName>
<date type="start">2016-01-01</date>
<desc><address><addrLine>CS 40700 - 38058 Grenoble cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-grenoble-alpes.fr</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Grenoble</settlement>
<region type="region" nuts="2">Auvergne-Rhône-Alpes</region>
<region type="old region" nuts="2">Rhône-Alpes</region>
</placeName>
<orgName type="university">Université Joseph Fourier</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Grenoble</orgName>
<placeName><settlement type="city">Grenoble</settlement>
<region type="region" nuts="2">Auvergne-Rhône-Alpes</region>
<region type="old region" nuts="2">Rhône-Alpes</region>
</placeName>
<orgName type="university">Université Grenoble-Alpes</orgName>
</affiliation>
</author>
<author><name sortKey="Camara, Javier" sort="Camara, Javier" uniqKey="Camara J" first="Javier" last="Cámara">Javier Cámara</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-87723" status="VALID">          <orgName>Computer Science Department - Carnegie Mellon University</orgName>
          <desc>            <address>              <addrLine>Computer Science Department Carnegie Mellon University Pittsburgh, PA</addrLine>
              <country key="US"></country>
            </address>
            <ref type="url">http://www.cs.cmu.edu/</ref>
          </desc>
          <listRelation>            <relation active="#struct-378064" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-378064" type="direct"><org type="institution" xml:id="struct-378064" status="INCOMING">          <orgName>University of Pittsburgh</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>États-Unis</country>
<placeName><settlement type="city">Pittsburgh</settlement>
<region type="state">Pennsylvanie</region>
</placeName>
<orgName type="university">Université de Pittsburgh</orgName>
</affiliation>
</author>
<author><name sortKey="Pimentel, Ernesto" sort="Pimentel, Ernesto" uniqKey="Pimentel E" first="Ernesto" last="Pimentel">Ernesto Pimentel</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-83762" status="VALID">          <orgName>Departamento Lenguajes y Ciencias de la Computación [Malaga]</orgName>
          <orgName type="acronym">LCC</orgName>
          <desc>            <address>              <addrLine>Complejo Tecnológico, Campus de Teatinos 29071 Málaga</addrLine>
              <country key="ES"></country>
            </address>
            <ref type="url">http://www.lcc.uma.es/</ref>
          </desc>
          <listRelation>            <relation active="#struct-198404" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-198404" type="direct"><org type="institution" xml:id="struct-198404" status="VALID">          <orgName>Universidad de Málaga [Málaga]</orgName>
          <desc>            <address>              <addrLine>Avda. Cervantes, 2   29071 MÁLAGA</addrLine>
              <country key="ES"></country>
            </address>
            <ref type="url">http://www.uma.es/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Espagne</country>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:hal-00934057</idno>
<idno type="halId">hal-00934057</idno>
<idno type="halUri">https://hal.inria.fr/hal-00934057</idno>
<idno type="url">https://hal.inria.fr/hal-00934057</idno>
<date when="2014-04-07">2014-04-07</date>
<idno type="wicri:Area/Hal/Corpus">000139</idno>
<idno type="wicri:Area/Hal/Curation">000139</idno>
<idno type="wicri:Area/Hal/Checkpoint">000224</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">000224</idno>
<idno type="wicri:Area/Main/Merge">000713</idno>
<idno type="wicri:Area/Main/Curation">000713</idno>
<idno type="wicri:Area/Main/Exploration">000713</idno>
<idno type="wicri:Area/France/Extraction">000198</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Comparator: A Tool for Quantifying Behavioural Compatibility</title>
<author><name sortKey="Ouederni, Meriem" sort="Ouederni, Meriem" uniqKey="Ouederni M" first="Meriem" last="Ouederni">Meriem Ouederni</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-34499" status="VALID">          <orgName>Institut de recherche en informatique de Toulouse</orgName>
          <orgName type="acronym">IRIT</orgName>
          <desc>            <address>              <addrLine>118 Route de Narbonne, F-31062 Toulouse Cedex 9</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.irit.fr/</ref>
          </desc>
          <listRelation>            <relation active="#struct-5030" type="direct"></relation>
            <relation active="#struct-81148" type="direct"></relation>
            <relation active="#struct-116256" type="direct"></relation>
            <relation active="#struct-217752" type="direct"></relation>
            <relation name="UMR5505" active="#struct-441569" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-5030" type="direct"><org type="institution" xml:id="struct-5030" status="VALID">          <orgName>Institut National Polytechnique [Toulouse]</orgName>
          <orgName type="acronym">INP</orgName>
          <desc>            <address>              <addrLine>6 allée Émile Monso - BP 34038 - 31029 Toulouse cedex 4</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.inp-toulouse.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-81148" type="direct"><org type="institution" xml:id="struct-81148" status="VALID">          <idno type="IdRef">026404354</idno>
          <orgName>Université Toulouse 1 Capitole</orgName>
          <orgName type="acronym">UT1</orgName>
          <date type="start">1970</date>
          <desc>            <address>              <addrLine>2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9 </addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.ut-capitole.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-116256" type="direct"><org type="institution" xml:id="struct-116256" status="VALID">          <idno type="IdRef">026403994</idno>
          <orgName>Université Toulouse 2</orgName>
          <orgName type="acronym">UT2</orgName>
          <date type="start">1971-01-01</date>
          <desc>            <address>              <addrLine>5 allées Antonio Machado - 31058 Toulouse Cedex 9 </addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-tlse2.fr</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-217752" type="direct"><org type="institution" xml:id="struct-217752" status="VALID">          <orgName>Université Paul Sabatier - Toulouse 3</orgName>
          <orgName type="acronym">UPS</orgName>
          <desc>            <address>              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle name="UMR5505" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID">          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.cnrs.fr/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Salaun, Gwen" sort="Salaun, Gwen" uniqKey="Salaun G" first="Gwen" last="Salaün">Gwen Salaün</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-178330" status="VALID">          <idno type="RNSR">201221019Z</idno>
          <orgName>Construction of verified concurrent systems</orgName>
          <orgName type="acronym">CONVECS</orgName>
          <desc>            <address>              <addrLine>Centre de recherche Inria655 avenue de l'Europe38330 Montbonnot Saint-Martin</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.inria.fr/equipes/convecs</ref>
          </desc>
          <listRelation>            <relation active="#struct-2497" type="direct"></relation>
            <relation active="#struct-300009" type="indirect"></relation>
            <relation active="#struct-24471" type="direct"></relation>
            <relation active="#struct-3886" type="indirect"></relation>
            <relation active="#struct-51016" type="indirect"></relation>
            <relation active="#struct-300275" type="indirect"></relation>
            <relation name="UMR5217" active="#struct-441569" type="indirect"></relation>
            <relation active="#struct-445543" type="indirect"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-2497" type="direct"><org type="laboratory" xml:id="struct-2497" status="VALID">          <idno type="RNSR">199218244V</idno>
          <orgName>Inria Grenoble - Rhône-Alpes</orgName>
          <desc>            <address>              <addrLine>Inovallée655 avenue de l'Europe38330 Montbonnot</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.inria.fr/centre/grenoble</ref>
          </desc>
          <listRelation>            <relation active="#struct-300009" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-24471" type="direct"><org type="laboratory" xml:id="struct-24471" status="VALID">          <idno type="IdRef">083958738</idno>
          <idno type="RNSR">200711886U</idno>
          <orgName>Laboratoire d'Informatique de Grenoble</orgName>
          <orgName type="acronym">LIG</orgName>
          <date type="start">2007-01-01</date>
          <desc>            <address>              <addrLine>UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France Tél. : 04 57 42 14 00</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.liglab.fr/</ref>
          </desc>
          <listRelation>            <relation active="#struct-3886" type="direct"></relation>
            <relation active="#struct-51016" type="direct"></relation>
            <relation active="#struct-300275" type="direct"></relation>
            <relation name="UMR5217" active="#struct-441569" type="direct"></relation>
            <relation active="#struct-445543" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-3886" type="indirect"><org type="institution" xml:id="struct-3886" status="OLD">          <idno type="IdRef">02640432X</idno>
          <orgName>Université Pierre Mendès France - Grenoble 2</orgName>
          <orgName type="acronym">UPMF</orgName>
          <date type="end">2015-12-31</date>
          <desc>            <address>              <addrLine>BP 47 - 38040 Grenoble Cedex 9</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.upmf-grenoble.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-51016" type="indirect"><org type="institution" xml:id="struct-51016" status="OLD">          <idno type="IdRef">026404796</idno>
          <orgName>Université Joseph Fourier - Grenoble 1</orgName>
          <orgName type="acronym">UJF</orgName>
          <date type="end">2015-12-31</date>
          <desc>            <address>              <addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.ujf-grenoble.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-300275" type="indirect"><org type="institution" xml:id="struct-300275" status="OLD">          <idno type="IdRef">026388804</idno>
          <orgName>Institut National Polytechnique de Grenoble </orgName>
          <orgName type="acronym">INPG</orgName>
          <date type="end">2006-12-31</date>
          <desc>            <address>              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"></country>
            </address>
          </desc>
        </org>
</tutelle>
<tutelle name="UMR5217" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID">          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.cnrs.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-445543" type="indirect"><org type="institution" xml:id="struct-445543" status="VALID"><idno type="IdRef">188399275</idno>
<orgName>Université Grenoble Alpes</orgName>
<orgName type="acronym">UGA</orgName>
<date type="start">2016-01-01</date>
<desc><address><addrLine>CS 40700 - 38058 Grenoble cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-grenoble-alpes.fr</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Grenoble</settlement>
<region type="region" nuts="2">Auvergne-Rhône-Alpes</region>
<region type="old region" nuts="2">Rhône-Alpes</region>
</placeName>
<orgName type="university">Université Joseph Fourier</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Grenoble</orgName>
<placeName><settlement type="city">Grenoble</settlement>
<region type="region" nuts="2">Auvergne-Rhône-Alpes</region>
<region type="old region" nuts="2">Rhône-Alpes</region>
</placeName>
<orgName type="university">Université Grenoble-Alpes</orgName>
</affiliation>
</author>
<author><name sortKey="Camara, Javier" sort="Camara, Javier" uniqKey="Camara J" first="Javier" last="Cámara">Javier Cámara</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-87723" status="VALID">          <orgName>Computer Science Department - Carnegie Mellon University</orgName>
          <desc>            <address>              <addrLine>Computer Science Department Carnegie Mellon University Pittsburgh, PA</addrLine>
              <country key="US"></country>
            </address>
            <ref type="url">http://www.cs.cmu.edu/</ref>
          </desc>
          <listRelation>            <relation active="#struct-378064" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-378064" type="direct"><org type="institution" xml:id="struct-378064" status="INCOMING">          <orgName>University of Pittsburgh</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>États-Unis</country>
<placeName><settlement type="city">Pittsburgh</settlement>
<region type="state">Pennsylvanie</region>
</placeName>
<orgName type="university">Université de Pittsburgh</orgName>
</affiliation>
</author>
<author><name sortKey="Pimentel, Ernesto" sort="Pimentel, Ernesto" uniqKey="Pimentel E" first="Ernesto" last="Pimentel">Ernesto Pimentel</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-83762" status="VALID">          <orgName>Departamento Lenguajes y Ciencias de la Computación [Malaga]</orgName>
          <orgName type="acronym">LCC</orgName>
          <desc>            <address>              <addrLine>Complejo Tecnológico, Campus de Teatinos 29071 Málaga</addrLine>
              <country key="ES"></country>
            </address>
            <ref type="url">http://www.lcc.uma.es/</ref>
          </desc>
          <listRelation>            <relation active="#struct-198404" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-198404" type="direct"><org type="institution" xml:id="struct-198404" status="VALID">          <orgName>Universidad de Málaga [Málaga]</orgName>
          <desc>            <address>              <addrLine>Avda. Cervantes, 2   29071 MÁLAGA</addrLine>
              <country key="ES"></country>
            </address>
            <ref type="url">http://www.uma.es/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Espagne</country>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">We present Comparator, a tool that measures the compatibility between two behavioural interfaces. Comparator can be used as a stand-alone Web application, and is also integrated into a model-based adaptation toolbox.</div>
</front>
</TEI>
<affiliations><list><country><li>Espagne</li>
<li>France</li>
<li>États-Unis</li>
</country>
<region><li>Auvergne-Rhône-Alpes</li>
<li>Pennsylvanie</li>
<li>Rhône-Alpes</li>
</region>
<settlement><li>Grenoble</li>
<li>Pittsburgh</li>
</settlement>
<orgName><li>Université Grenoble-Alpes</li>
<li>Université Joseph Fourier</li>
<li>Université de Grenoble</li>
<li>Université de Pittsburgh</li>
</orgName>
</list>
<tree><country name="France"><noRegion><name sortKey="Ouederni, Meriem" sort="Ouederni, Meriem" uniqKey="Ouederni M" first="Meriem" last="Ouederni">Meriem Ouederni</name>
</noRegion>
<name sortKey="Salaun, Gwen" sort="Salaun, Gwen" uniqKey="Salaun G" first="Gwen" last="Salaün">Gwen Salaün</name>
</country>
<country name="États-Unis"><region name="Pennsylvanie"><name sortKey="Camara, Javier" sort="Camara, Javier" uniqKey="Camara J" first="Javier" last="Cámara">Javier Cámara</name>
</region>
</country>
<country name="Espagne"><noRegion><name sortKey="Pimentel, Ernesto" sort="Pimentel, Ernesto" uniqKey="Pimentel E" first="Ernesto" last="Pimentel">Ernesto Pimentel</name>
</noRegion>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Amérique/explor/PittsburghV1/Data/France/Analysis

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000198 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/France/Analysis/biblio.hfd -nk 000198 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Amérique
   |area=    PittsburghV1
   |flux=    France
   |étape=   Analysis
   |type=    RBID
   |clé=     Hal:hal-00934057
   |texte=   Comparator: A Tool for Quantifying Behavioural Compatibility
}}

This area was generated with Dilib version V0.6.38.
Data generation: Fri Jun 18 17:37:45 2021. Site generation: Fri Jun 18 18:15:47 2021

	Serveur d'exploration sur Pittsburgh
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur Pittsburgh

Comparator: A Tool for Quantifying Behavioural Compatibility

Comparator: A Tool for Quantifying Behavioural Compatibility

Source :

Abstract

Links toward previous steps (curation, corpus...)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri